Home
|
Scope
|
Editorial Board
|
Content
|
Search
|
Subscription
|
Rules
|
Contacts
in Russian
Articles classificators
>
F
>
F.3
F.3 Logics and Meanings of Programs
F.3.1
Specifying and Verifying and Reasoning about Programs
Keywords
Home
|
Scope
|
Editorial Board
|
Content
|
Search
|
Subscription
|
Rules
|
Contacts
ISSN 1560-7534
© 2024
FRC ICT